-
1 дизъюнкция конъюнкций
Information technology: sum of products (в булевой алгебре)Универсальный русско-английский словарь > дизъюнкция конъюнкций
-
2 правило Де Моргана
Engineering: De Morgan law (в булевой алгебре)Универсальный русско-английский словарь > правило Де Моргана
-
3 правило де Моргана
Engineering: De Morgan law (в булевой алгебре)Универсальный русско-английский словарь > правило де Моргана
-
4 проблема выполнимости
Information technology: satisfiability problem, satisfiability problem (в булевой алгебре)Универсальный русско-английский словарь > проблема выполнимости
-
5 рёберное произведение
Information technology: sharp product (кубов в булевой алгебре)Универсальный русско-английский словарь > рёберное произведение
-
6 преобразование де Моргана
( в булевой алгебре) DeMorgan transformationРусско-английский словарь по электронике > преобразование де Моргана
-
7 преобразование де Моргана
( в булевой алгебре) DeMorgan transformationРусско-английский словарь по радиоэлектронике > преобразование де Моргана
-
8 правило
dresser, ( для штукатурных работ) straight edge, Darby float, Derby float, float, floater, rod, ( при устройстве асфальтобетонного или бетонного покрытия) gage, law, ( для бетона) lute, floating rule, rule, principle, regulation, shaping tool* * *пра́вило с.
rule; мн. regulations; ( промышленно-отраслевые) codeпра́вила безопа́сности — safety regulationsпра́вила безопа́сности полё́тов — safety-flying regulationsпра́вило бура́вчика эл. — right-hand screw [thumb, corkscrew, Ampere's] ruleпра́вила визуа́льного полё́та [ПВП] — visual flight rules, VFRпра́вило Де Мо́ргана ( в булевой алгебре) — De Morgan lawпра́вило замеще́ния — substitution ruleпра́вило запре́та ( в квантовой механике) — Pauli-Fermi principleпра́вило зна́ков мат. — rule [convention] of signsпра́вила котлонадзо́ра — boiler codeпра́вило ле́вой руки́ — left-hand [Fleming's] ruleпра́вило Ле́нца эл. — Lenz's lawпра́вило ло́жного положе́ния мат. — rule [method] of false position, false-position method, regula falsiпра́вило площаде́й аргд. — area rule, law of areasпра́вила полё́тов — flight rulesпра́вила полё́тов по прибо́рам [ППП] — instrument flight rules, IFRпра́вило пра́вой руки́ — right-hand ruleпра́вила сопоставле́ния сообще́ния с ко́дом — ( при кодировании) encoding codebook; ( при декодировании) decoding codebookпра́вило сре́дней тре́ти — middle-third ruleпра́вила те́хники безопа́сности — safety regulationsпра́вила техни́ческой эксплуата́ции желе́зных доро́г [ПТЭ] — Railway Operating Rulesпра́вила у́личного движе́ния — traffic rulesпра́вила устро́йства электроустано́вок — electric installation codeпра́вило фаз — phase [Gibbs] ruleцепно́е пра́вило1. ( при дифференцировании) chain rule2. ( в логике) chain inferenceпра́вило што́пора — corkscrew [right-hand screw] ruleэмпири́ческое пра́вило — empirical rule, rule of thumb -
9 проблема выполнимости
( в булевой алгебре) satisfiability problemРусско-английский словарь по вычислительной технике и программированию > проблема выполнимости
См. также в других словарях:
Простые теоремы в алгебре множеств — Курсы элементарной дискретной математики иногда оставляют у студентов ошибочное представление о том, что основой теории множеств является алгебра объединения, пересечения и дополнения множеств. Для того, чтобы получить представление о некоторых… … Википедия
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
Конъюнкция — (от лат. conjunctio союз, связь) логическая операция, по своему применению максимально приближённая к союзу и . Синонимы: логическое И , логическое умножение, иногда просто И . Конъюнкция может быть бинарной операцией, то есть, иметь два… … Википедия
Логическое умножение — Конъюнкция логическая операция, по своему применению максимально приближенная к союзу и . Синонимы: логическое И , логическое умножение, иногда просто И . Это бинарная инфиксная операция, то есть, она имеет два операнда и ставится между ними.… … Википедия
Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… … Википедия
Дизъюнкция — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
Логическая дизъюнкция — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическая сумма — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое "или" — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое ИЛИ — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое сложение — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия